/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package legadee2petri;

import java.io.File;

/**
 *
 * @author Fabricio
 */
public class Main {

    /**
     * @param args the command line arguments
     */
    public static void main(String[] args) {
        XML xml = new XML();
        File xmlfile;
        if(args.length == 0)
            System.exit(0);
        xmlfile = new File(args[0]);
        xml.parseFile(xmlfile);

        System.out.println("Root element"+xml.getDoc().getDocumentElement().getNodeName());
    }
}
